Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
41	NEW MEXICO Grade 3 MATHEMATICS STANDARDS PROCESS STANDARDS To help New Mexico students achieve the Content Standards enumerated below, teachers are encouraged to base instruction on the following Process Standards; Prob Add to Reading List Source URL: www.ped.state.nm.us Language: English - Date: 2016-06-25 18:47:15 Mathematics Algebra Abstract algebra Binary operations Elementary arithmetic Mathematical notation Group theory Multiplication Matrix Mathematical model Complex number Array programming
42	(MI)NLPLib 2 Stefan Vigerske 16th July 2015 ISMP, Pittsburgh Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-08-07 11:28:12 Numerical software Draft:Extended mathematical programming TomSym
43	Miscellaneous Technical Range: 2300–23FF The Unicode Standard, Version 9.0 This file contains an excerpt from the character code tables and list of character names for The Unicode Standard, Version 9.0 Characters in th Add to Reading List Source URL: www.unicode.org Language: English - Date: 2016-06-17 16:00:46 Character encoding Unicode blocks Computing Notation APL programming language family Mathematical notation Pictograms Unicode Miscellaneous Technical APL syntax and symbols APL Star
44	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 09:07:59 Theoretical computer science Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Nqthm Rewrite order Symbol
45	Microsoft Word - orbs7180.doc Add to Reading List Source URL: www.math.hkbu.edu.hk Language: English - Date: 2013-09-27 05:04:48 Operations research Mathematics Computational complexity theory Applied mathematics Mathematical optimization Heuristic Integer programming Relaxation Branch and bound Combinatorial optimization Travelling salesman problem Algorithm
46	FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-20 04:50:04 Logic Proof theory Mathematical logic Philosophy Sequent Linear logic Soundness Logic programming Inductive reasoning
47	Single-Pass List Partitioning Leonor Frias ∗ Universitat Polit`ecnica de Catalunya Dep. de Llenguatges i Sistemes Inform`atics Jordi Girona Salgado, Barcelona, Spain Add to Reading List Source URL: algo2.iti.kit.edu Language: English - Date: 2008-05-15 11:50:35 Mathematics Computational complexity theory Dynamic programming Discrete mathematics Combinatorics Analysis of algorithms Algorithm Mathematical logic Theoretical computer science Time complexity FisherYates shuffle Longest increasing subsequence
48	Multi-Stage Dantzig Selector Ji Liu, Peter Wonka, Jieping Ye Arizona State University {ji.liu,peter.wonka,jieping.ye}@asu.edu Add to Reading List Source URL: peterwonka.net Language: English - Date: 2011-01-09 20:39:46 Statistics Mathematical analysis Probability Probability distributions Operations research Convex optimization Normal distribution Linear regression Linear programming Sparse approximation

UPDATE